181. Proof theory and intuitionistic systems
پدیدآورنده : Scarpellini, Bruno
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Intuitionistic mathematics,، Proof theory
رده :
QA
9
.
S3
1971
182. Proof theory and intuitionistic systems
پدیدآورنده : / Bruno Scarpellini
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Intuitionistic mathematics,Proof theory
رده :
510
.
8
L471
No
.
212
183. Proof theory and logical complexity
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G57
1987
184. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
185. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
186. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
187. Proof theory for fuzzy logics
پدیدآورنده : / George Metcalfe,Nicola Olivetti, Dov Gabbay.
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Proof theory,fuzzy logics
رده :
511
.
3
M588p
188. Proof theory for fuzzy logics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Fuzzy logic. ; Proof theory. ;
189. Proof theory of impredicative subsystems of analysis /
پدیدآورنده : Wilfried Buchholz, Kurt Schütte
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis,Proof theory
190. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
191. Proof theory: the first step into impredicativity
پدیدآورنده : Pohlers, Wolfram
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
P64
2008
192. Proofs and Algorithms : Introduction to Logic and Computability Theory
پدیدآورنده : Dowek, Gilles
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
رده :
QA
76
.
9
.
L36D68
193. Proofs and Algorithms: an introduction to logic and computability
پدیدآورنده : Dowek, Gilles
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Computer logic,، Proof theory,، Algorithms
رده :
QA
9
.
D68
2011
194. Proofs and fundamentals
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ; Set theory. ;
195. Proofs and fundamentals
پدیدآورنده : / Ethan D. Bloch
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Set theory
رده :
E-BOOK
196. Proofs and fundamentals: a first course in abstract mathematics
پدیدآورنده : Bloch, Ethan D.
موضوع : ، Proof theory,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
197. Proofs and fundamentals : a first course in abstract mathematics
پدیدآورنده : Bloch, Ethan D., 6591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Set theory
رده :
QA
9
.
54
.
B52
198. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
199. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
200. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
G58
